A Formal Logic for Digital Investigations: A Case Study using BPB modifications
نویسنده
چکیده
A Formal Logic is developed and the following presented: i) Notation for Formal Logic; ii) developing the Formal Logic for Digital Investigations Experiments (FDIE); iii) Case study modifying BPB and demonstrating the Formal Logic in ii); and iv) extending the Formal logic to Digital Investigations (FDI). A case study using BIOS Partition Block (BPB) modifications to render the partitions unreadable is used to successfully demonstrate the FDIE. From this experiment the Formal logic (FDIE) is extended to Formal Logic for Digital Investigations (FDI).
منابع مشابه
Efficiency assessment of AHP and fuzzy logic methods in suitability mapping for artificial recharging (Case study: Sarbisheh basin, Southern Khorasan, Iran)
Recently, special attention has been paid to artificial groundwater recharge in water resource management in arid and semi-arid regions. Water resources distribution in these regions is extremely uneven, both in spatial and temporal forms and groundwater is the only water resource and is a major constraint on economic and social development. Artificial groundwater recharge is considered an appr...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کاملExplaining the Level of Human Thought in the Parallel Civilizations Based on Formal Structure and Visual Imagination Formed in Mythical Narratives
Myth, like any other form of narrative, has an undeniable role in visual imagination based on the foundations of mythical thought. Ernst Cassirer, by recovering the fundamental principles of mythical thought, brings against them to the foundations of contemporary rational thought and defines the fundamental features of mythical thought as compared to modern rational thought. He also believes t...
متن کاملBrake System Design for Sports Cars using Digital Logic Method
Brake system performance significantly affects safety, handling and vehicle dynamics. Therefore, the objective of this paper is to discuss brake system characteristics and performance and component design parameters. We perform a detailed study of a specific brake system designed for Mercedes-AMG SLC-43, considering component design parameters and operational points, and finally conduct the veh...
متن کاملA Novel Hybrid Fuzzy Multi-Criteria Decision-Making Model for Supplier Selection Problem (A Case Study in Advertising industry)
Choosing the proper supplier has a critical role in design of supply chain. This problem is complicated because each supplier may fulfills some of the manufacturer criteria and choosing the best supplier is a Multiple-Criteria Decision Making problem. This paper proposes a novel hybrid approach to rank suppliers in advertising industry and considers two new criteria to evaluate the suppliers in...
متن کامل